Concurrent programming languages

Results: 336



#Item
161

Type Systems for Concurrent Programs Naoki Kobayashi The University of Tokyo Abstract. Type systems for programming languages help reasoning about

Add to Reading List

Source URL: www-kb.is.s.u-tokyo.ac.jp

Language: English - Date: 2015-06-26 05:46:32
    162Software engineering / Computing / Computer programming / Concurrent programming languages / Dependence analysis / Static program analysis / Information flow / Program slicing / Scope / ALGOL 68 / Variable / XC

    A Security Domain Model to Assess Software for Exploitable Covert Channels Alan B. Shaffer Mikhail Auguston

    Add to Reading List

    Source URL: cisr.nps.edu

    Language: English - Date: 2008-08-18 13:40:59
    163Software engineering / Computer programming / Computing / Concurrent programming languages / Object-oriented programming languages / Cross-platform software / Java / Iterator / Foreach loop

    Diamond SciSoft Analysis Developer Guide Release 1.0 Diamond Light Source, Scientific Software Team

    Add to Reading List

    Source URL: www.opengda.org

    Language: English - Date: 2011-08-15 10:21:08
    164Cross-platform software / Java / Concurrent programming languages / Object-oriented programming / C++ / Constant / Class / C Sharp / Literal / Constructor / C++ classes / Inheritance

    The Java™ Language Specification The Java™ Series Lisa Friendly, Series Editor Bill Joy, Technical Advisor

    Add to Reading List

    Source URL: titanium.cs.berkeley.edu

    Language: English - Date: 2014-04-29 06:11:54
    165Software engineering / Computing / Computer programming / Concurrent programming languages / Object-oriented programming languages / C++ / Cross-platform software / Java / ALGOL 68 / Foreach loop / C++ classes

    Diamond SciSoft Analysis Developer Guide Release 1.0 Diamond Light Source, Scientific Software Team

    Add to Reading List

    Source URL: www.opengda.org

    Language: English - Date: 2012-11-12 12:51:12
    166Parallel computing / Operations research / Scheduling / Concurrent programming languages / Mixed criticality / Multi-core processor / Windows Task Scheduler / XC / Schedule

    Scheduling of Mixed-Criticality Applications on Resource-Sharing Multicore Systems Georgia Giannopoulou, Nikolay Stoimenov, Pengcheng Huang, Lothar Thiele Computer Engineering and Networks Laboratory, ETH Zurich, 8092 Zu

    Add to Reading List

    Source URL: www.tik.ethz.ch

    Language: English - Date: 2014-10-27 19:22:42
    167Computing / Software engineering / Computer programming / Concurrent programming languages / Object-oriented programming languages / Functional languages / Scala / Java

    Scala functional programming on the JVM Erik Bakker FP-NL Day 2015

    Add to Reading List

    Source URL: wwwhome.cs.utwente.nl

    Language: English - Date: 2015-01-15 07:15:17
    168Software engineering / Computer programming / Computing / Concurrent programming languages / Object-oriented programming languages / Cross-platform software / Java / Iterator / Foreach loop

    Diamond SciSoft Analysis Developer Guide Release 1.0 Diamond Light Source, Scientific Software Team

    Add to Reading List

    Source URL: www.opengda.org

    Language: English - Date: 2011-08-15 10:21:37
    169Data types / Type theory / Java / Concurrent programming languages / Object-oriented programming languages / Immutable object / Const / Final / Subtyping / Scala / Type qualifier / Takes

    ReIm & ReImInfer: Checking and Inference of Reference Immutability and Method Purity Wei Huang Ana Milanova

    Add to Reading List

    Source URL: homes.cs.washington.edu

    Language: English - Date: 2012-08-08 17:06:02
    UPDATE